A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram De (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if it is a PA degree. We do this by showing that there is a (...) single CD theory T such that every homogeneous model of T has a PA degree. (shrink)

Este artigo recorda os principais aspectos e motivações da Expedição Langsdorff, missão de reconhecimento do interior do Brasil iniciada em 1821, composta pelo cônsul russo barão Langsdorff, o pintor alemão Moritz Rugendas, Aimé-Adrien Taunay, Nicolas-Antoine Taunay, o polígrafo Hercules Florence e o especialista em mapas Néster G. Rubtsov. Busca diferenças entre esta expedição e iniciativas outras, a título de exemplo, as dos bandeirantes e jesuítas, bem como a expedição indigenista de Rondon, e propõe o aprofundamento das investiga­ções. Apresenta atributos resgatados (...) pela poesia brasileira contemporânea e elementos cons­titutivos da identidade cultural brasileira presentes na Expedição Langsdorff, os quais os auto­res sugerem ser relevantes para pesquisadores do tema e para a inserção do Brasil no contexto internacional político, diplomático e econômico nos tempos hodiernos. (shrink)

The use of robots had already been proven to encourage the promotion of social interaction and skills lacking in children with Autism Spectrum Disorders, who typically have difficulties in recognizing facial expressions and emotions. The main goal of this research is to study the influence of a humanoid robot to develop socio-emotional skills in children with ASD. The children’s performance in game scenarios aiming to develop facial expressions recognition skills is presented. Along the sessions, children who performed the game scenarios (...) with the robot and the experimenter had a significantly better performance than the children who performed the game scenarios without the robot. The main conclusions of this research support that a humanoid robot is a useful tool to develop socio-emotional skills in the intervention of children with ASD, due to the engagement and positive learning outcome observed. (shrink)

A set X is prime bounding if for every complete atomic decidable (CAD) theory T there is a prime model U of T decidable in X. It is easy to see that $X = 0\prime$ is prime bounding. Denisov claimed that every $X <_{T} 0\prime$ is not prime bounding, but we discovered this to be incorrect. Here we give the correct characterization that the prime bounding sets $X \leq_{T} 0\prime$ are exactly the sets which are not $low_2$ . Recall that (...) X is $low_2$ if $X\prime\prime$ $\leq_{T} 0\prime$ . To prove that a $low_2$ set X is not prime bounding we use a $0\prime$ -computable listing of the array of sets { Y : Y $\leq_{T}$ X } to build a CAD theory T which diagonalizes against all potential X-decidable prime models U of T. To prove that any $non-low_{2}$ ; X is indeed prime bounding, we fix a function f $\leq_T$ X that is not dominated by a certain $0\prime$ -computable function that picks out generators of principal types. Given a CAD theory T. we use f to eventually find, for every formula $\varphi (\bar{x})$ consistent with T, a principal type which contains it, and hence to build an X-decidable prime model of T. We prove the prime bounding property equivalent to several other combinatorial properties, including some related to the limitwise monotonic functions which have been introduced elsewhere in computable model theory. (shrink)

Music can reduce stress and anxiety, enhance positive mood, and facilitate social bonding. However, little is known about the role of music and related personal or cultural variables in maintaining wellbeing during times of stress and social isolation as imposed by the COVID-19 crisis. In an online questionnaire, administered in 11 countries, participants rated the relevance of wellbeing goals during the pandemic, and the effectiveness of different activities in obtaining these goals. Music was found to be the most effective activity (...) for three out of five wellbeing goals: enjoyment, venting negative emotions, and self-connection. For diversion, music was equally good as entertainment, while it was second best to create a sense of togetherness, after socialization. This result was evident across different countries and gender, with minor effects of age on specific goals, and a clear effect of the importance of music in people's lives. Cultural effects were generally small and surfaced mainly in the use of music to obtain a sense of togetherness. Interestingly, culture moderated the use of negatively valenced and nostalgic music for those higher in distress. (shrink)

This book deals with the ethics of technology and addresses specific ethical problems related to some emerging technologies, mainly in the field of computer science (from machine learning models to extracting value from data to human–robot interaction). The contributions are authored mainly by scholars in ICT and other engineering fields who reflect on ethical and societal issues emerging from their own research activity. Thus, rather uniquely, the work overcomes the traditional divide between pure ethical theory that disregards what practitioners do (...) and mere R&D practice that ignores what theorists conceptualize. Conversely, the reader is enabled to understand what ethics means when it is actually put into work by engineering researchers. The book arises from a joint program between MIT and Politecnico di Milano aimed at training early career researchers in addressing the ethical issues of technology and critically reflecting on the social impacts of the emerging, and even disruptive, technologies they are currently developing through their novel research. Overall, it aims at spreading the task of developing technologies that, from the beginning, are designed to be responsible for human life, society, and nature. (shrink)

It is shown that for every nonzero r.e. degree c there is a linear ordering of degree c which is not isomorphic to any recursive linear ordering. It follows that there is a linear ordering of low degree which is not isomorphic to any recursive linear ordering. It is shown further that there is a linear ordering L such that L is not isomorphic to any recursive linear ordering, and L together with its ‘infinitely far apart’ relation is of low (...) degree. Finally, an analogue of the recursion theorem for recursive linear orderings is refuted. (shrink)

Zu den Charakteristika philosophischer Spiritualität in der Spätantike gehört das besondere Interesse sowohl für Hierarchien als auch für Rituale. Dazu zählen einerseits sich stetig vervielfachende Stufen einer metaphysischen Ontologie, die zugleich als Hierarchie göttlicher oder auch dämonischer Wesen gefasst wird, andererseits nicht nur die Diskussion über Kultpraktiken, sondern auch deren intensivierte Ausübung. Vorstellungen eines stufenweisen Ab- und Aufstiegs der Seele sowie der Begegnung mit den unterschiedlichen Klassen höherer Wesen im Rahmen theurgischer Rituale verbinden diese beiden Aspekte; so kann sich schliesslich (...) der Gedanke entwickeln, der vollkommene Philosoph sei der vollkommene Theurg. Der vorliegende Band nimmt derartige Phänomene anhand der Chaldaeischen Orakel, des Hermetismus, der Gnosis sowie mittel- und neuplatonischer Autoren in den Blick und nimmt dabei auch Bezug auf christliche Perspektiven aus der Antike und der frühen Neuzeit sowie auf den soziokulturellen Hintergrund."--Back cover. (shrink)

A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, $\varepsilon = (\{W_e\}_{e\in \omega}, \subseteq)$ . We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has (...) a certain "slowness" property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ∈ ε there exists B in the orbit of A such that X ≤ T B under relative Turing computability (≤ T ). We produce B using the Δ 0 3 -automorphism method we introduced earlier. (shrink)

By constructing a maximal incomplete d.r.e. degree, the nondensity of the partial order of the d.r.e. degrees is established. An easy modification yields the nondensity of the n-r.e. degrees and of the ω-r.e. degrees.

J. N. Crossley [1] raised the question of whether the implication 2 + A = A ⇒ 1 + A = A is true for constructive order types (C.O.T.'s). Using an earlier definition of constructive order type, A. G. Hamilton [2] presented a counterexample. Hamilton left open the general question, however, since he pointed out that Crossley considers only orderings which can be embedded in a standard dense r.e. ordering by a partial recursive function, and that his counterexample fails to (...) meet this requirement. We resolve the question by finding a C.O.T. A which meets Crossley's requirement and such that 2 + A = A but 1 + A ≠ A. At the suggestion of A. B. Manaster and A. G. Hamilton we easily extend this construction to show that for any n ≧ 2, there is a C.O.T. A such that n + A = A but m + A ≠ A for 0 < m < n. Hence, Theorem 3 of [2] and all of its corollaries hold with the new definition of C.O.T. The construction is not difficult and requires no priority argument. The techniques are similar to those developed in [3], but no outside results are needed here. (shrink)

By constructing a maximal incomplete d.r.e. degree, the nondensity of the partial order of the d.r.e. degrees is established. An easy modification yields the nondensity of the n-r.e. degrees and of the ω-r.e. degrees.

Recent studies reported the development of psychological distress symptoms in patients who recovered from COVID-19. However, evidence is still scarce and new data are needed to define the exact risk and protective factors that can explain the variability in symptoms manifestation. In this study, we enrolled 257 patients who recovered from COVID-19 and we evaluated the levels of psychological distress through the Symptoms Checklist-90-R scale. Data concerning illness-related variables were collected from medical records, while the presence of subjective cognitive difficulties, (...) both before and after the illness, as well as the level of the cognitive reserve, were assessed over a clinical interview. Results revealed that being female and reporting the presence of subjective cognitive difficulties after COVID-19 were associated with higher levels of psychological distress. At the same time, being admitted to the hospital and having a high CR were protective factors. Adding new information to this emerging research field, our results highlight the importance of a complete psychological and cognitive assessment in patients with COVID-19. (shrink)

The object of this paper is to explain a certain type of construction which occurs in priority proofs and illustrate it with two examples due to Lachlan and Harrington. The proofs in the examples are essentially the original proofs; our main contribution is to isolate the common part of these proofs. The key ideas in this common part are due to Lachlan; we include several improvements due to Harrington, Soare, Slaman, and the author.Our notation is fairly standard. If X (...) is an r.e. set, Xs is the finite set of elements enumerated in X before step s. if Ф is a recursive functional, Фs is the approximation to Ф at step s; it only queries the oracle about numbers xi and iless-than-or-equals, slantx; and right-pointing angle bracketx0,...,xk−1right-pointing angle bracket is an increasing function of each of its arguments. Sets are sometimes identified with their characteristic functions. Wj isthe jth r.e. set. Xc is the complement of X. (shrink)

The COVID-19 pandemic has affected the way many people live their lives. The increasing amount of time spent indoors and isolated during periods of lockdown has been accompanied by an increase in the time people spend playing video games. One such game which soared in popularity during the early stages of the pandemic was Animal Crossing: New Horizons. Through semi-structured interviews with players, and using a theory-informed qualitative analysis, we document and examine players’ motivations and experiences playing Animal Crossing: New (...) Horizons during the pandemic. Findings suggest that playing the game helped satisfy various psychological needs—autonomy, relatedness, and competence—as described by Self-Determination Theory. Conversely, players stopped playing the game when they found that their psychological needs were thwarted or better met through other activities. Our findings offer support that video games can offer psychological relief in stressful contexts by providing opportunities for people to satisfy key psychological needs. Theoretical and practical implications are discussed. (shrink)

This report analyses the aplicability of the principles of consciousness developed in the ASys project to three of the most relevant cognitive architectures. This is done in relation to their aplicability to build integrated control systems and studying their support for general mechanisms of real-time consciousness. To analyse these architectures the ASys Framework is employed. This is a conceptual framework based on an extension for cognitive autonomous systems of the General Systems Theory (GST). A general qualitative evaluation criteria for cognitive (...) architectures is established based upon: a) requirements for a cognitive architecture, b) the theoretical framework based on the GST and c) core design principles for integrated cognitive conscious control systems. (shrink)

I argue that disposition ascriptions—claims like ‘the glass is fragile’—are semantically equivalent to possibility claims: they are true when the given object manifests the disposition in at least one of the relevant possible worlds.

A large part of the debate around the right to refuse life-prolonging treatment of anorexia nervosa sufferers centers on the issue of competence. Whether or not the anorexic should be allowed to refuse life-saving treatment does not depend solely or primarily on competence. It also depends on whether the anorexic’s suffering is bearable or tractable, and on the degree of involvement of the family in the therapeutic process. Anorexics could be competent to refuse lifesaving treatment (Giordano 2008). However, the anorexic’s (...) refusal of life-saving treatment should not be respected purely because it is a competent decision. In fact, anorexia has two characteristics that weaken the strength of the principle .. (shrink)

This book offers an extensive historical, philosophical and ethical discussion on the role of autonomous technologies, and their influence on human identity. By connecting those different perspectives, and analysing some practical case studies, it guides readers to dissect the relationship between machine and human autonomy, and machine and human identity. It analyses how the relationship between human and technology has been evolving in the last few centuries. Last, it aims at proposing an explanation on the reason/s why humans have been (...) keen on developing their own autonomy’s perfect avatar. (shrink)

Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.

The Birth of the Philologist from the Spirit of Schopenhauer’s Philosophy. Nietzsche’s Inaugural Lecture On the Personality of Homer. This essay highlights Schopenhauer’s decisive and unexplored role in Nietzsche’s Über die Persönlichkeit Homers. Following Schopenhauer’s negative assessment of the study of history, Nietzsche criticizes F. A. Wolf’s organic systematization of the sciences of antiquity and foregrounds the aesthetic dimension of philology. Contrary to Wolf, Nietzsche believes that historical investigation is subordinate to the essential pedagogical function of philology; and only through (...) its aesthetic component can philology establish which literary works of antiquity are to be considered truly “classical.” The debate on the Homeric question after the publication of Wolf’s Prolegomena ad Homerum illustrates that philologists have paradoxically become opponents and “destroyers” of the ideal of antiquity. Nietzsche shows how a methodological approach inspired by Schopenhauer’s philosophy can revive the relationship between philology and art. Nietzsche’s arguments to counter Wolf’s thesis about the problem of Homer’s personality implicitly rest on Schopenhauer’s aesthetics. In particular, through Schopenhauer’s conception of genius, Nietzsche rehabilitates the individuality of the poetic author of the Iliad and Odyssey, even though this poet does not correspond to the one referred to as “Homer” in antiquity. (shrink)

BackgroundThe aim of this study is to explore the association of family socioeconomic status and internal and external schoolwork support with adolescents’ school satisfaction and whether schoolwork support modifies these associations.MethodsData come from the cross-sectional Health Behavior in School-aged Children study collected in 2018 from Slovak 15-year-olds. SES was measured by Family Affluence Scale. School satisfaction was measured via school engagement and attitudes toward education. Schoolwork support was measured regarding two groups of sources inside and outside the family, separately. Logistic (...) regression models were used to explore the associations of SES and schoolwork support with school satisfaction as well as the moderating effect of schoolwork support.ResultsAdolescents with low SES were more likely to feel indifferent toward school and education, and similarly, adolescents who did not have schoolwork support inside or outside the family. Schoolwork support moderated the associations of SES with school satisfaction. Adolescents with low and middle SES without support inside or outside the family were more likely to feel indifferent than satisfied.ConclusionAdolescents from low and middle SES without schoolwork support inside or outside the family are more likely to feel indifferent toward school and education. (shrink)

Em setembro de 2023, ocorreu o “I Encontro Nacional de Produção, Análise e Disseminação de Informações sobre as Favelas e Comunidades Urbanas do Brasil”, promovido pelo Instituto Brasileiro de Geografia e Estatística (IBGE). O objetivo central do evento foi discutir a nomenclatura “aglomerados subnormais”, utilizada para designar territórios periféricos como favelas, grotas, alagados etc. nas pesquisas e publicações oficiais do órgão. Neste texto, busquei relatar minha experiência no evento, a partir da descrição de alguns aspectos considerados centrais por mim, além (...) de explicitar o quanto esse encontro me impactou pessoalmente como mulher, negra e periférica que sou. Ao final de minha exposição, concluo que nomear é exercer poder. Ao abrir as portas para a sociedade, o IBGE se aproxima da construção de uma sociedade mais democrática e plural, afastando-se de discursos estigmatizantes e pejorativos sobre esses territórios e suas populações. (shrink)

Este livro apresenta Comte e seu Positivismo em linguagem clara e despretensiosa, pois é de alguém que conhece o que está escrevendo. A vida, a obra, a religião, a difusão e a irradiação do Positivismo no RS e no Brasil, e mais a educação e arte positivista em Porto Alegre são temas desenvolvidos com maestria por Mozart Pereira Soares.